conditional probability and its properties